many-sorted logic
多类逻辑
热门查询
- beachhead n. [军] 滩头堡，滩头阵地
- earless adj. 无穗的；无耳的；听觉不佳的
- potato n. [作物] 土豆，[作物] 马铃薯
- extinguished v. 熄灭；灭绝（extinguish的过去分词） adj. 熄灭的；灭绝的
- acne n. [皮肤] 痤疮，[皮肤] 粉刺
- search n. 搜寻；探究，查究 vt. 搜索；搜寻；调查；搜查；探求 vi. 搜寻；调查；探求 n. (Search)人名；(英)瑟奇
- sunyata n. 空性，空
- complacence n. 满足，自满；沾沾自喜
- daybreak n. 黎明；破晓
- emerson n. 爱默生（Ralph Waldo Emerson 美国思想家，诗人）
- reestablishment n. 恢复，重建
- medal n. 勋章，奖章；纪念章 n. (Medal)人名；(西、捷)梅达尔
- confined v. 限制（confine的过去式和过去分词） adj. 狭窄的；幽禁的；有限制的；在分娩中的
- qualify vi. 取得资格，有资格 vt. 限制；使具有资格；证明…合格
- fixation n. 异常依恋，固恋，痴迷；癖 n. 固定；定位；定影
- Manchu n. 满语；满族人 adj. 满族的；满语的
- Artur n. 阿图尔（男子名）
- tigris n. 底格里斯河（西南亚, 流经土尔其和伊拉克）
- sublimely adv. 高尚地，卓越地
- gerrymandering n. 改变选举区；选区不公正的重新划分 vt. 为政党利益改划选区；为一党私利而重新将划分选区 vi. 不公正地划分选区；弄虚作假
考试词汇表
- Lysis of adhesions of liver
- Lysis of adhesions of ovary
- Lysosomal alpha Glucosidase
- Lysosomal alpha Mannosidase
- Lysosomal alpha-Glucosidase
- Lysosomal alpha-Mannosidase
- Lüneburg, Regierungsbezirk
- M cholinergie blocking drug
- M double-stranded virus RNA
- M substance of streptococci
- M-cholinergie blocking drug
- M-mode ultrasonic apparatus
- M. longitudinalis profundus
- M. rectus capitis ventralis
- M.germanica auct .non Desv.
- M.leucoblephara Hand.-Mazz.
- M.stewardii Merr.ex Metealf
- MAD (main assembly drawing)
- MAD (multi-aperture device)
- MAF (minimum audible field)
